Nuprl Definition : mklist
11,40
postcript
pdf
mklist(
n
;
f
) == primrec(
n
; []; (
i
,
l
. append(
l
; cons((
f
(
i
)); []))))
latex
Definitions
primrec(
n
;
b
;
c
)
,
x
.
A
(
x
)
,
append(
as
;
bs
)
,
cons(
car
;
cdr
)
,
f
(
a
)
,
[]
FDL editor aliases
mklist
origin